EN FR
EN FR
KAIROS - 2019
KAIROS - 2019
Project-Team Kairos
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography
Project-Team Kairos
Team, Visitors, External Collaborators
Overall Objectives
Research Program
Application Domains
Highlights of the Year
New Software and Platforms
New Results
Bilateral Contracts and Grants with Industry
Partnerships and Cooperations
Dissemination
Bibliography


previous Previous | up Home | Next next


Section: Dissemination

Teaching - Supervision - Juries

Teaching

  • Licence : Sid TOUATI, Fondement machine, 75 heures eq TD, L1 informatique, Université Côte d'Azur.

  • Licence : Sid TOUATI, Architecture machine, 45 heures eq TD, L3 informatique, Université Côte d'Azur.

  • Licence : Sid TOUATI, Compilation, 33 heures eq TD, L3 informatique, Université Côte d'Azur.

  • Master: Sid TOUATI, Architectures et logiciels hautes performances, 81 heures eq TD, Master 1 informatique, Université Côte d'Azur.

  • Master international: Sid TOUATI, Advanced operating systems, 30 heures eq TD, Master 1 informatique, Université Côte d'Azur.

  • International Master: Frédéric Mallet, Safety-Critical Systems, 32h.

  • Master: Frédéric Mallet, Software Engineering, 32h.

  • Master : Robert de Simone, Formal Methods for NoC-based design, 36 heures eq TD, M2 International Ubinet, Université Côte d'Azur.

  • License: Marie-Agnès Peraldi-Frati teaches Web security (20h eq TD), Security of connected objects (20h eq TD), IoT Infrastructure deployment (20 H) and Large scale plateform for IoT (20h eq TD) in a licence cursus dedicated to Internet of Objects, Infrastructure and Applications.

  • Master:Marie-Agnès Paraldi Frati, Web Security and IoT Platform, 20h eq TD, Master 2 SICOM, Univ Avignon.

  • Master : Luigi Liquori, Peer-to-peer systems, 32 eq TD, Université Côte d'Azur.

  • Master: Luigi Liquori, Rewriting Systems and Pattern Matching, 12 eq TD, Université de Lorraine.

  • Ph.D.: Winter School on Theoretical Foundations of Computer Science, 4-9 February 2019, Georgia. Luigi Liquori. Peer-to-peer and related systems, International Black Sea University and Shota Rustaveli National Science Foundation of Georgia.

  • Ph.D.: 12th International School on Rewriting (ISR) July 2020, Spain. Luigi Liquori. Pattern matching λ-calculi.

  • Master: Julien Deantoni, Finite State Machine, 54h eq TD, Polytech'Nice.

  • Master: Julien Deantoni, Multi Paradigm Programming in C++, 54h eq TD, Polytech'Nice.

  • Master: Julien Deantoni, Domain Specific Languages, 32h eq TD, Polytech'Nice.

  • Master: Julien Deantoni, Language Interpreter, 32h eq TD, Polytech'Nice.

  • Master: Julien Deantoni, Micro-controller programming, 8h eq TD, Polytech'Nice.

  • Master: Dumitru Potop-Butucaru, A synchronous approach to the design of embedded real-time systems, 30h, EPITA Engineering School, Paris.

  • Master: Dumitru Potop-Butucaru, Real-time embedded systems, 42h, EIDD (École d'Ingenieur Denis Diderot), Paris

Supervision

  • HDR : Julien Deantoni, Towards Formal System Modeling: Making Explicit and Formal the Concurrent and Timed Operational Semantics to Better Understand Heterogeneous Models, Université Côte d'Azur, Juillet 2019 [13]

  • PhD : Claude Stolze, Combining union, intersection and dependent types in an explicitly typed lambda-calculus, Université Côte d'Azur, Dec 16th 2019, Luigi Liquori. [14]

  • PhD in progress : Carsten BRUNS, Performance analysis and optimisation of C++ applications, Université Côte d'Azur, 2021, Sid TOUATI.

  • PhD in progress : Giovanni Liboni, Coordination of discrete (Cyber) Models, Université Cote d'Azur, end 2021, Frédéric Mallet, Julien DeAntoni.

  • PhD in progress : Joelle Abou Faysal, A Formal Language for Ensuring Safety Scenarios in Autonomous Vehicules, Université Cote d'Azur, 2022, Frédéric Mallet.

  • PhD: Keryan Didier, Contributions to the safe and efficient parallelisation of hard real-time systems. Sorbonne University, September 19, 2019, Dumitru Potop-Butucaru.

  • PhD in progress : Hugo Pompougnac, Sorbonne University, 2022, Dumitru Potop-Butucaru.

Juries

  • Frederic Mallet was president of the PhD Jury of Ines Array, Université Cote d'Azur, March 2019.

  • Eric Madelaine was member of the PhD jury of Frédéric Lemoine (CNAM, Paris), July 2019.

  • Frederic Mallet was reviewer for the PhD Jury of Frédéric Giroudot (ISAE, Toulouse), December 13th 2019.

  • Frederic Mallet was reviewer for the PhD Jury of Ngo Minh Thang NGUYEN (Centrale Supélec/CEA), December 16th 2019.

  • Dumitru Potop-Butucaru was a member of the PhD jury of Lina Marsso (Univ. Grenoble-Alpes, Inria, CNRS, GrenobleINP), December 10, 2019.

  • Dumitru Potop-Butucaru was a member of the PhD jury of Pierre Donat-Bouilloud (Sorbonne University), December 6, 2019.

  • Luigi Liquori was member of the PhD jury of Claude Stolze, Université Côte d'Azur, December 2019.



previous Previous | up Home | Next next